How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
CRUZ, C. G. R.; FERREIRA, M. G. V.; SILVA, R. R. State validation in automated planning. In: INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, 22., , Prague. Proceedings... 2020. v. 1, p. 396-406. DVD. ISBN 9789897584237. DOI: <10.5220/0009411903960406>. Available from: <http://doi.org/10.5220/0009411903960406>.
How to Make the In-Text Citation (by author/year)
... as proposed by Cruz, Ferreira and Silva (2020).
... may be found in the literature (CRUZ; FERREIRA; SILVA, 2020).